Jade[1]

University of Washington, late 80's

A strongly-typed language, object-oriented but without classes, designed for type research. The compiler output is Smalltalk. (The submitter claimed that Jade has exactly one user.)